]> dgit.raspbian.org Git - gnome-shell.git/commit
projects / gnome-shell.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fc4dfa1) | patch
theme/search-results: Use spacing instead of margin or padding
authornana-4 <hnmaigo@gmail.com>
Sat, 25 Jan 2020 09:58:33 +0000 (18:58 +0900)
committerFlorian Müllner <florian.muellner@gmail.com>
Thu, 6 Feb 2020 20:31:42 +0000 (20:31 +0000)
commitddbc4ef42e5d97f424eda7ada50fb047b88e314a
treecac0765879755fd5c2c19b851d106a3ca6c6136btree | snapshot
parentfc4dfa11c397c85632ec1ff3783258121213033bcommit | diff
theme/search-results: Use spacing instead of margin or padding

Those margin and padding broke spacing in RTL layout. We should use
regular `spacing` for them as before the refactoring.

https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/957
data/theme/gnome-shell-sass/widgets/_search-results.scss diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.